NegativeIntegerLiteral.agda:9,5-7
No binding for builtin thing FROMNEG, use {-# BUILTIN FROMNEG name
#-} to bind it to 'name'
when scope checking -1
